#include <iostream>
#include <vector>
const int maxn=100005;
using namespace std;
vector<int> ds[maxn];

void divisors_of_1to(int n){
	for(int i=1;i<=n;++i){
		for(int j=i;j<=n;j+=i){
			ds[j].push_back(i);
		}
	}
}

int main()
{
	int n; cin>>n;
	divisors_of_1to(n);
	
	for(int i=1;i<=n;++i){
		cout<<i<<": ";
		for(vector<int>::iterator it=ds[i].begin(); it!=ds[i].end(); ++it)
			cout<<*it<<' ';
		cout<<endl;
	}
	
	return 0;
}

